Modules in the area of Theoretical Computer Science

Module	LV Type	CP	LV	Dates	Examination
Advanced Topics in Logic	Fach-/Modulprüfung	6	589359
	Übung		588003	Mi 16:30-18:00 AH III (2350\|314.1) (×15)
	Vorlesung		588001	Mo 10:30-12:00 AH II (2350\|111) (×15) Do 16:30-18:00 AH II (2350\|111) (×15)
Algorithmic Foundations of Datascience	Fach-/Modulprüfung	6	585082
	Übung		579319	Mi 12:30-14:00 AH I (2350\|028) (×15)
	Vorlesung		579330	Di 16:30-18:00 AH I (2350\|028) (×15) Do 14:30-16:00 AH I (2350\|028) (×15)
Algorithmic Game Theory	Fach-/Modulprüfung	6	585094
Algorithmic Model Theory I	Fach-/Modulprüfung	8	582183
Analysis of Algorithms	Fach-/Modulprüfung	8	582278
Combinatorial Optimisation in Scientific Practise	Fach-/Modulprüfung	9	585904
Combinatorial Optimisation in Scientific Practise	Projekt		580931
Compiler Construction	Fach-/Modulprüfung	6	582126
Concurrency Theory	Fach-/Modulprüfung	6	581976
Cryptography	Fach-/Modulprüfung	6	589362		Di 16.02.2027 14:00-15:30 ZuseLab C1 (2315\|107) ZuseLab C3 (2315\|211) ZuseLab C4 (2315\|201) Di 23.03.2027 09:00-10:30 ZuseLab C1 (2315\|107) ZuseLab C3 (2315\|211)
Cryptography	Vorlesung/Übung		589361	Mi 14:30-16:00 AH III (2350\|314.1) (×15) Do 10:30-12:00 AH III (2350\|314.1) (×15) Fr 14:30-16:00 H06 (1385\|004) (×15)
Dynamical Processes on Networks	Fach-/Modulprüfung	6	583294
	Übung		587452	Do 10:30-12:00 OC Hörsaal (2030\|015) (×15)
	Vorlesung		587451	Mo 12:30-14:00 AH VI (2356\|051) (×14) Di 16:30-18:00 AH VI (2356\|051) (×13)
Foundations of Learning on Graphs	Fach-/Modulprüfung	6	584410		Mi 03.03.2027 09:00-11:00 HKW 1 (1132\|203) Do 01.04.2027 09:00-11:00 AH VI (2356\|051)
Foundations of Learning on Graphs	Vorlesung/Übung		579973	Mo 10:30-12:00 MS (1220\|009) (×15) Mi 08:30-10:00 AH I (2350\|028) (×15)
Foundations of the UML	Fach-/Modulprüfung	6	585104
Graph Decompositions and Algorithmic Applications	Fach-/Modulprüfung	6	585609
	Übung		588005	Mo 14:30-16:00 5056 (2356\|056) (×15)
	Vorlesung		588004	Di 12:30-14:00 AH II (2350\|111) (×14) Fr 14:30-16:00 AH III (2350\|314.1) (×15)
Infinite Computations and Games	Fach-/Modulprüfung	6	582432
	Übung		578158	Do 12:30-14:00 5054 (2356\|054) (×15)
	Vorlesung		578375	Mo 10:30-12:00 5056 (2356\|056) (×15) Mi 10:30-12:00 5056 (2356\|056) (×15)
Logic and Games	Fach-/Modulprüfung	8	584059
Logic and Games	Fach-/Modulprüfung	8	584058
Mathematical Logic II	Fach-/Modulprüfung	8	582180
Model Checking	Fach-/Modulprüfung	6	585086
	Übung		577398	Fr 12:30-14:00 AH I (2350\|028) (×15)
	Vorlesung		578334	Mi 14:30-16:00 AH I (2350\|028) (×15) Do 16:30-18:00 AH I (2350\|028) (×15)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	582969
Module Complexity Theory	Fach-/Modulprüfung	6	582407
Optimization and Uncertainty	Fach-/Modulprüfung	6	584844
Parameterized Algorithms	Fach-/Modulprüfung	8	585087
Post-quantum cryptography	Fach-/Modulprüfung	6	584032
Probabilistic Programming	Fach-/Modulprüfung	6	582304
	Übung		577153	Di 10:30-12:00 AH I (2350\|028) (×14)
	Vorlesung		577327	Mo 16:30-18:00 AH II (2350\|111) (×15) Do 12:30-14:00 AH III (2350\|314.1) (×15)
Research Focus Class on Logic	Projekt		599020
Research Focus Class on Logic	Fach-/Modulprüfung	6	599021
Satisfiability Checking	Fach-/Modulprüfung	6	582368
Satisfiability Checking	Vorlesung/Übung		578303	Mo 10:30-12:00 AH V (2356\|050) (×15) Mi 14:30-16:00 AH V (2356\|050) (×15) Fr 14:30-15:15 5056 (2356\|056) (×15)
Semantics and Verification of Software	Fach-/Modulprüfung	6	585052
	Übung		587536	Fr 14:30-16:00 AH I (2350\|028) (×15)
	Vorlesung		587537	Mi 10:30-12:00 AH I (2350\|028) (×15) Do 14:30-16:00 AH II (2350\|111) (×15)
Stochastic Games	Fach-/Modulprüfung	6	581578
Theory of Distributed Systems	Fach-/Modulprüfung	6	583876